- формула Хорна
- horn clause
Русско-английский словарь по нефти и газу. - ВНИИГАЗ, РАО «ГАЗПРОМ». 1998.
формула Хорна
Look at other dictionaries:
Дизъюнкт Хорна — В математической логике, дизъюнкт Хорна дизъюнкция литералов с не более чем одним положительным литералом. Дизъюнкты Хорна названы по имени логика Альфреда Хорна, который впервые указал важность таких дизъюнктов в статье 1951 года «On… … Википедия
Квантовая запутанность — Квантовая механика … Википедия
Универсальная алгебра — Не следует путать с универсальной алгеброй одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… … Википедия
Алагейзия — Эта статья об объекте вымышленного мира описывает его только на основе самого художественного произведения. Статья, состоящая только из информации на базе самого произведения, может быть удалена. Вы можете помочь проекту … Википедия
Древний язык (трилогия «Наследие») — Древний язык стареший из языков Алагейзии в трилогии Кристофера Паолини «Наследие». Древний язык, рождённый среди Серого Народа, используется для колдовства эльфами, Драконьими Всадниками, шейдами и многими другими. Имена на этом… … Википедия
Simple Minds — Simple Minds … Википедия
Древний язык (трилогия «Наследие») — Древний язык стареший из языков Алагейзии в тетралогии Кристофера Паолини «Наследие». Древний язык, рождённый среди Серого Народа, используется для колдовства эльфами, Драконьими Всадниками, шейдами и многими другими. Имена на этом… … Википедия
Древний язык (Наследие) — Древний язык стареший из языков Алагейзии в тетралогии Кристофера Паолини «Наследие». Древний язык, рождённый среди Серого Народа, используется для колдовства эльфами, Драконьими Всадниками, шейдами и многими другими. Имена на этом языке … … Википедия
Список статей по логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
